Sur un système d'E.D.P. modélisant un processus d'adsorption isotherme d'un mélange gazeux

Un processus de médiation flexible dans un système d'informations distribué

We consider distributed informations systems that are open, dynamic and provide access to large numbers of distributed, heterogeneous and autonomous informations sources. Our problem consists in providing more pertinent informations to the users. Also, informations providers want to obtain requests corresponding as well as possible to their waitings. This part of mediation in general is few tre...

Un système X Raisonner formellement sur les programmes ML

Résumé Nous proposons dans cet article un système de types dit renforcé permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. La stratégie d'évaluation est celle de ML. Le langage de types est celui de ML. Le caractère renforcé du système proposé vient de l'ajout aux règles de typage traditionnelles d'un principe d'induction structurelle sur les types...

Un système de détection de thématiques populaires sur Twitter

Un Système Tuteur Utilisant un Compagnon Perturbateur

Un système d'enseignement à distance basé sur un réseau peer-to-peer

—In this article, an information system for e-learning is introduced. It takes advantage of peer-to-peer (P2P) networking to create easily value-added services for e-learning with focus on learners' requirements. All help offers and system resources, including courses, will be delivered to learners transparently and adaptively to their calendar, their knowledge level and interests. The main aim...